Non-Classical

Results: 915



#Item
211Philosophical logic / Branches of philosophy / Belief / Non-classical logic / Epistemology / Rationality / Modal logic / Is–ought problem / Reason / Philosophy / Logic / Knowledge

Lecture 2. What is the Normative Role of Logic? What is the connection between (deductive) logic and rationality? One extreme: Frege. A law of logic is a law of rational thought. Seems problematic, if rational change of

Add to Reading List

Source URL: www.philosophy.ox.ac.uk

Language: English - Date: 2008-05-15 07:08:30
212Propositional calculus / Boolean algebra / Non-classical logic / Logic in computer science / Cut-elimination theorem / Intuitionistic logic / Sequent calculus / Sequent / First-order logic / Mathematical logic / Logic / Proof theory

Double Dose of Double-Negation Translations Olivier Hermant CRI, MINES ParisTech June 2, 2014

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2014-12-23 09:38:50
213Mathematical logic / Fuzzy logic / Non-classical logic / Computational neuroscience / Learning / Neuro-fuzzy / Support vector machine / Fuzzy concept / Segmentation / Logic / Science / Artificial intelligence

Semantic image analysis using a symbolic neural architecture

Add to Reading List

Source URL: www.islab.ntua.gr

Language: English - Date: 2014-01-05 10:23:57
214Non-classical logic / Reasoning / Logical consequence / Knowledge representation / Default logic / Non-monotonic logic / Inference / Autoepistemic logic / Entailment / Logic / Mathematical logic / Logic programming

What’s in a Default? Thoughts on the Nature and Role of Defaults in Nonmonotonic Reasoning James Delgrande School of Computing Science, Simon Fraser University,

Add to Reading List

Source URL: www.cs.sfu.ca

Language: English - Date: 2012-08-16 12:27:39
215Non-classical logic / Logic programming / Philosophical logic / Default logic / Autoepistemic logic / First-order logic / Prolog / Stable model semantics / Non-monotonic logic / Logic / Mathematical logic / Reasoning

В издательстве «Физматлит» в 2004 г

Add to Reading List

Source URL: raai.org

Language: English - Date: 2004-01-22 06:29:02
216Philosophical logic / Ontology / Philosophy of language / Semantics / Modal logic / Non-classical logic / Proposition / Truth / Causality / Logic / Philosophy / Metaphysics

  1  Grounding is not a strict order1  Gonzalo Rodriguez‐Pereyra  University of Oxford 

Add to Reading List

Source URL: www.philosophy.ox.ac.uk

Language: English - Date: 2015-02-04 09:27:38
217Logic in computer science / Model theory / Non-classical logic / Philosophical logic / Modal logic / Dynamic logic / Temporal logic / Assertion / Axiom / Logic / Mathematical logic / Mathematics

l!soMEr~ME!l IS so&fETIMEs

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2000-07-12 18:31:52
218Non-classical logic / Model theory / Propositional calculus / Logical syntax / Probabilistic logic / Entailment / Modal logic / Interpretation / Probability / Logic / Mathematical logic / Philosophical logic

ARTIFICIAL INTELLIGENCE 71 Probabilistic Logic* Nils J . N i l s s o n

Add to Reading List

Source URL: ai.stanford.edu

Language: English - Date: 2007-10-21 17:27:03
219Mathematics / Logic programming / Reasoning / Default logic / Knowledge representation / Defaults / Non-monotonic logic / Function / Inference / Logic / Mathematical logic / Non-classical logic

Reasoning with Sets of Defaults in Default Logic Torsten Schaub∗ Institut f¨ur Informatik, Universit¨at Potsdam, Postfach, D–14415 Potsdam,

Add to Reading List

Source URL: www.cs.sfu.ca

Language: English - Date: 2004-03-09 17:14:07
220Fuzzy logic / Non-classical logic / Multi-criteria decision analysis / Geographic information system / Mathematics / Science / Type-2 fuzzy sets and systems / Artificial intelligence / Logic in computer science / Logic

Fuzzy Modelling in GIS Environment to Support Sustainable Land Use Planning 1 Vladimir Badenko1, Dmitry Kurtener2

Add to Reading List

Source URL: itcnt05.itc.nl

Language: English - Date: 2005-02-27 17:00:00
UPDATE